using System;
using System.Collections.Generic;
using System.ComponentModel;
using Microsoft.Ccr.Core;
using Microsoft.Dss.Core.Attributes;
using Microsoft.Dss.Core.DsspHttp;
using Microsoft.Dss.ServiceModel.Dssp;
using Microsoft.Dss.ServiceModel.DsspServiceBase;
using W3C.Soap;
using pioneerctrl = PioneerControl.Proxy;

namespace HighLevelControl
{
    /// <summary>
    /// HighLevelControl contract class
    /// </summary>
    public sealed class Contract
    {
        /// <summary>
        /// DSS contract identifer for HighLevelControl
        /// </summary>
        [DataMember]
        public const string Identifier = "http://erobots.jcepeda/2010/07/highlevelcontrol.html";
    }


    /// <summary>
    /// HighLevelControl main operations port
    /// </summary>
    [ServicePort]
    public class HighLevelControlOperations : PortSet<
        DsspDefaultLookup,
        DsspDefaultDrop,
        Get,
        pioneerctrl.Replace,
        Subscribe,
        LocalUpdate,
        LocalReplace
                                                    >
    {
    }

    public class Get : Get<GetRequestType, PortSet<State, Fault>>
    {
        /// <summary>
        /// Creates a new instance of Get
        /// </summary>
        public Get()
        {
        }

        /// <summary>
        /// Creates a new instance of Get
        /// </summary>
        /// <param name="body">the request message body</param>
        public Get(GetRequestType body)
            : base(body)
        {
        }

        /// <summary>
        /// Creates a new instance of Get
        /// </summary>
        /// <param name="body">the request message body</param>
        /// <param name="responsePort">the response port for the request</param>
        public Get(GetRequestType body, PortSet<State, Fault> responsePort)
            : base(body, responsePort)
        {
        }
    }

    public class LocalReplace : Replace<State, PortSet<DefaultReplaceResponseType, Fault>>
    {
    }

    public class LocalUpdate : Update<State, PortSet<DefaultReplaceResponseType, Fault>>
    {
    }

    public class Subscribe : Subscribe<SubscribeRequestType, PortSet<SubscribeResponseType, Fault>>
    {
    }


}


